1.
由定理 3.4.2 及上述引理 1 即得.
2.1
当
时, 由引理 2 即得.
2.2
当
时, 由 C-K 方程,
从而得证.
3.
由定理 3.3.2 推论 1 即得.
证毕.